TAGs: Solve compound inequality